منابع مشابه
Monadic dynamic algebras
The main purpose of this work is to introduce the class of the monadic dynamic algebras (dynamic algebras with one quantifier). Similarly to a theorem of Kozen we establish that every separable monadic dynamic algebra is isomorphic to a monadic (possibly non-standard) Kripke structure. We also classify the simple (monadic) dynamic algebras. Moreover, in the dynamic duality theory, we analyze th...
متن کاملDynamic equivalence relation on the fuzzy measure algebras
The main goal of the present paper is to extend classical results from the measure theory and dynamical systems to the fuzzy subset setting. In this paper, the notion of dynamic equivalence relation is introduced and then it is proved that this relation is an equivalence relation. Also, a new metric on the collection of all equivalence classes is introduced and it is proved that this metric is...
متن کاملSubdirectly irreducible separable dynamic algebras
A characterization of the subdirectly irreducible separable dynamic algebras is presented. The notions developed for this study were also suitable to describe the previously found class of the simple separable dynamic algebras.
متن کاملDynamic algebras: Examples, constructions, applications
Dynamic algebras combine the classes of Boolean (B ∨ ′ 0) and regular (R ∪ ; ∗) algebras into a single finitely axiomatized variety (B R 3) resembling an R-module with “scalar” multiplication 3. The basic result is that ∗ is reflexive transitive closure, contrary to the intuition that this concept should require quantifiers for its definition. Using this result we give several examples of dynam...
متن کاملEstimating of geotechnical properties of clay soil with dynamic cone penetration (DCP) test
Dynamic cone penetration (DCP) test is used more in pavement design and construction, and less for subsurface geotechnical investigation and clay core dam. In the present article, evaluating geotechnical parameters of Sanandaj’s clay in the western region of Iran using the DCP test was taken into account. Accordingly, 6 trial pits with maximum depths of 15 m were excavated manually in various s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1987
ISSN: 0022-0000
DOI: 10.1016/0022-0000(87)90014-6